3961. Relational and algebraic methods in computer science :
Author: Wolfram Kahl, Timothy G. Griffin (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.
Classification :
QA76
.
9
.
M35
R36
2012eb
3962. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
Author: ]edited by[ Harrie de Swart
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
Classification :
QA
76
.
9
.
R36
2011
3963. Relational mathematics
Author: Gunther Schmidt
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,Mathematics ، Operations research
Classification :
QA
76
.
9
.
M35S395
3964. Relational mathematics /
Author: Gunther Schmidt
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics,Operations research-- Mathematics
Classification :
QA76
.
9
.
M35
S36
2011
3965. Relational methods in computer science
Author: C. Brink, W. Kahl, G. Schmidt )eds.(
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic digital computers - Programming , Mathematics
Classification :
QA
76
.
6
.
R442
1997
3966. Relational methods in computer science
Author: C. Brink, W. Kahl, G. Schmidt, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Aufsatzsammlung.,Computer science -- Mathematics.,Relation algebras.
Classification :
QA76
.
9
.
M35
C375
1997
3967. Relations and Graphs :
Author: by Gunther Schmidt, Thomas Ströhlein.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
9
.
M35
B948
1993
3968. Relations and graphs : discrete mathematics for computer scientists
Author: Schmidt, Gunther
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer science - Mathematics
Classification :
QA
76
.
9
.
M35
S34
1993
3969. Relaxation techniques for the simulation of VLSI circuits
Author: White, Jacob K.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Integrated circuits- Very large scale integration- Mathematical models,، Integrated circuits- Very large scale integration- Data processing,، Relaxation methods )Mathematics(
Classification :
TK
7874
.
W48
1987
3970. Relaxation techniques for the simulation of VLSI circuits
Author: / by Jacob K. White and Alberto Sangiovanni-Vincentelli
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Integrated circuits - Very large scale integration - Mathematical models,Integrated circuits - Very large scale integration - Data processing,Relaxation methods (Mathematics)
Classification :
TK
7874
.
W48
1986
3971. Reliability Theory and Models
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Reliability (Engineering) -- Congresses
Classification :
E-Book
,
3972. Reliability of computer and communication networks : proceedings of a DIMACS workshop december 2-4, 1989
Author: Fred Roberts, Frank Hwang, Clyde Monma, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Reliability -- Congresses ، Computer networks
Classification :
TK
5105
.
5
.
D587
1989
3973. Reliability theory and models. stochastic failure models, optimal maintenance policies, life testing, and structures
Author: / edited by Mohamed S. Abdel-Hameed, Erhan Cشnlar, Joseph Quinn$7fa
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Reliability (Engineering)- Congresses
Classification :
TA16
.
R46
3974. Representations for Genetic and Evolutionary Algorithms
Author: by Franz Rothlauf.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Engineering mathematics.
3975. Resampling Methods
Author: by Phillip I. Good.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical statistics.,Statistics.
3976. Research and discovery :
Author: Russell Lawson, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Research-- United States-- History, Encyclopedias.,Science-- United States-- History, Encyclopedias.,Naturwissenschaften,Research.,Science.,Sozialwissenschaften,Wissenschaftler,United States.,USA., 7, 7
Classification :
Q127
.
U6
R45
2008
3977. Research in data science
Author: / Ellen Gasparovic, Carlotta Domeniconi, editors.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer science,Quantitative research, -- Congresses, -- Mathematics,a04,a05
Classification :
QA76
.
9
.
M35
2019
3978. Resource management concepts for large systems
Author: Suri, Rajan
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Numerical analysis
Classification :
519
S961r
3979. Resource management concepts for large systems
Author: Suri, Rajan
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Numerical analysis
Classification :
519
S961r
3980. Resources for teaching discrete mathematics :
Author: edited by Brian Hopkins
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics-- Study and teaching (Higher)-- United States,Mathematics-- Study and teaching (Higher)-- United States
Classification :
QA13
.
R4768
2009
